منابع مشابه
Polarized Games
We generalize the intuitionistic Hyland–Ong games (and in a second step Abramsky–Jagadeesan– Malacaria games) to a notion of polarized games allowing games with plays starting by proponent moves. The usual constructions on games are adjusted to fit this setting yielding game models for both Intuitionistic Linear Logic and Polarized Linear Logic. We prove a definability result for this polarized...
متن کاملOn the Complexity of Cockett-seely Polarized Games
In this paper the complexity of provability of polarized additive, multiplicative, and exponential formulas in the (initial) Cockett-Seely polarized game logic is discussed. The complexity is ultimately based on the complexity of finding a strategy in a formula which is, for polarized additive formulas, in the worst case linear in their size. Having a proof of a sequent is equivalent to having ...
متن کاملNovel Circularly Polarized Substrate Integrated Waveguide SLOT Antanna
Circularly-polarized antenna is built based on a new SIW (substrate integrated waveguide)structure which contains cavity-backed resonator and a conventional polarized ring with twosquare slits in inner and outer ring that differ 90° at position and is proposed for right-handedcircular polarization (RHCP) and fabricated in two separate layers. A broadband impedancebandwidth of 13.9% and a RHCP a...
متن کاملUsing games in Oncology Teaching
Introduction:Educational methods can be classified into two groups: active methods and passive ones. Applying games is an active approach in teaching. The present study aimed at investigating the effect of games on teaching oncology. Methods: Twenty three medical students participated in the study. They took two class sessions of oncology. In the first session the basic principles and concepts...
متن کاملDynamic system of strategic games
Maybe an event can't be modeled completely through one game but there is more chance with several games. With emphasis on players' rationality, we present new properties of strategic games, which result in production of other games. Here, a new attitude to modeling will be presented in game theory as dynamic system of strategic games and its some applications such as analysis of the clash betwe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2004
ISSN: 0168-0072
DOI: 10.1016/j.apal.2004.04.006